تعداد ۲۷ پاسخ غیر تکراری از ۲۷ پاسخ تکراری در مدت زمان ۰,۶۶ ثانیه یافت شد.

1. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings

پدیدآورنده : Nachum Dershowitz, Naomi Lindenstrauss )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

968

2. Rewriting techniques and applications :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;

3. Rewriting techniques and applications :

پدیدآورنده : N. Dershowitz, ed.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.

رده :

QA267

.

I555

1989

4. #Rewriting techniques and applications

پدیدآورنده : #edited by Pierre Lescanne

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Rewriting systems )Computer science(- Congresses ،Electronic digital computers- Programming- Congresses ،Computer algorithms- Congresses

رده :

#

QA

،#.

R48

5. Rewriting techniques and applications :

پدیدآورنده : Harald Ganzinger (ed.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification

رده :

QA267

.

R48

1996

6. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings

پدیدآورنده : edited by Pierre Lescanne

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

256

7. Rewriting techniques and applications : Dijon, France, May 20-22, 1985

پدیدآورنده : edited by Jean-Pierre Jouannaud

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

202

8. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده : N. Dershowitz, ed

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Computer algorithms

رده :

QA

76

.

L28

Vol

.

355

9. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings

پدیدآورنده : International Conference on Rewriting Techniques and Applications )3rd: 9891: Chapel Hill, N.C.(

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :

QA

267

.

I555

1989

10. Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

پدیدآورنده : Vincent Van Oostrom )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

3091

11. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده : Ronald V. Book, ed

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Electronic digital computers -- Programming,Congresses ، Algorithms

رده :

QA

267

.

I555

1991

12. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده : International Conference on Rewriting Techniques and Applications )4th: 1991: Como, Italy(

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :

QA

267

.

I555

1991

13. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings

پدیدآورنده : Ronald V. Book, ed

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

488

14. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

پدیدآورنده : Sophie Tison )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

2378

15. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 :proceedings

پدیدآورنده : Claude Kirchner )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

690

16. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Rewriting systems )Computer science(-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Algorithms-- Congresses

رده :

QA

267

.

I555

1993

17. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

پدیدآورنده : Leo Bachmair )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

1833

18. Rewriting techniques and applications : 8th International Conference, RTA-97 Sitges, Spain, June 2-5, 1997: proceedings

پدیدآورنده : Hubert Comon )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

1232

19. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings

پدیدآورنده : Harald Ganzinger

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

1103

20. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings

پدیدآورنده : Paliath Narendran, Michael Rusinowitch )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :

QA

76

.

L28

Vol

.

1631

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها